Comparing Partition and Random Testing via Majorization and Schur Functions
نویسندگان
چکیده
The comparison of partition and random sampling methods for software testing has received considerable attention in the literature. A standard criterion for comparisons between random and partition testing based on their expected efficacy in program debugging is the probability of detecting at least one failure causing input in the program’s domain. We investigate the relative effectiveness of partition testing versus random testing through the powerful mathematical technique of majorization, which was introduced by Hardy et al. The tools of majorization and the concepts of Schur (convex and concave) functions enable us to derive general conditions under which partition testing is superior to random testing and, consequently, to give further insights into the value of partition
منابع مشابه
Inequalities : Theory of majorization and its applications
insisting that the equality sign holds when k = n. Here, x[X] > • • • > x[n] are the xt arranged in decreasing order and, similarly, y[X] > • • • > y[n]. If (1) is only required for the increasing (decreasing) convex functions on R then one speaks of weak sub-majorization x >, respectively). The first is equivalent to (2). Let & be an open convex subset of R...
متن کاملConvex comparison of service disciplines in real time queues
In this paper we present a comparison of the service disciplines in real-time queueing systems (the customers have a deadline before which they should enter the service booth). We state that the more a service discipline gives priority to customers having an early deadline, the least the average stationary lateness is. We show this result by comparing adequate random vectors with the Schur-Conv...
متن کاملMeasures and algorithms for best basis selection
A general framework based on majorization, Schur-concavity, and concavity is given that facilitates the analysis of algorithm performance and clarifies the relationships between existing proposed diversity measures useful for best basis selection. Admissible sparsity measures are given by the Schur-concave functions, which are the class of functions consistent with the partial ordering on vecto...
متن کاملMajorization for CRFs and Latent Likelihoods
The partition function plays a key role in probabilistic modeling including condi-tional random fields, graphical models, and maximum likelihood estimation. Tooptimize partition functions, this article introduces a quadratic variational upperbound. This inequality facilitates majorization methods: optimization of com-plicated functions through the iterative solution of simpler s...
متن کاملA General Approach to Sparse Basis Selection: Majorization, Concavity, and Affine Scaling
Measures for sparse best–basis selection are analyzed and shown to fit into a general framework based on majorization, Schur-concavity, and concavity. This framework facilitates the analysis of algorithm performance and clarifies the relationships between existing proposed concentration measures useful for sparse basis selection. It also allows one to define new concentration measures, and seve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Software Eng.
دوره 29 شماره
صفحات -
تاریخ انتشار 2003